Form: A Framework for Creating Views of Program Executions
نویسندگان
چکیده
Form is a framework used to construct tools for analyzing the runtime behavior of standalone and distributed software systems. The architecture of Form is based on the event broadcast and pipe and filter styles. In the implementation of this architecture, execution profiles may be generated from standalone or distributed systems. The profile data is subsequently broadcast by Form to one or more views. Each view is a tool used to support program understanding or other software development activities. In this paper we describe the Form architecture and implementation, as well as a tool that was built using Form. This tool profiles Java-based distributed systems and generates UML sequence diagrams to describe their execution. We also present a case study that shows how this tool was used to extract sequence diagrams from a three-tiered EJBbased distributed application.
منابع مشابه
Evaluating Health in All Policies; Comment on “Developing a Framework for a Program Theory-Based Approach to Evaluating Policy Processes and Outcomes: Health in All Policies in South Australia”
Health in All Policies (HiAP) has gained attention as a potential tool to address complex health and societal challenges at global, regional, national and subnational levels. In a recent article, Lawless et al propose an evaluation framework developed in the context of the South Australia HiAP initiative. Strategies, mediators, activities and impacts identified in the framework could potentiall...
متن کاملCapture/Replay Framework for Eiffel
The ability to reproduce a program execution has many applications. Especially in software debugging, reproducing a failure is often time consuming if not impossible. Can we automate the task? The goal of this master project is to design and implement a framework to reproduce executions for Eiffel programs. The framework uses Capture/Replay, a technique to reproduce program executions by simula...
متن کاملGenerating Representative Executions [Extended Abstract]
Analyzing the behaviour of a concurrent program is made difficult by the number of possible executions. This problem can be alleviated by applying the theory of Mazurkiewicz traces to focus only on the canonical representatives of the equivalence classes of the possible executions of the program. This paper presents a generic framework that allows to specify the possible behaviours of the execu...
متن کاملCreating an accurate portrayal of concurrent executions
Visualization tools for concurrent systems must support designers in their quest to create visualizations that promote an understanding of concurrent computations and avoid inconsistent or unsynchronized views that mislead users. A visualization system with reorderable, synchronous, and independent displays provides the necessary framework for understanding concurrent computations. This article...
متن کاملOpium: An Extendable Trace Analyzer for Prolog
Traces of program executions are a helpful source of information for program debugging. They, however, give a picture of program executions at such a low level that users often have diiculties to interpret the information. Opium, our extendable trace analyzer, is connected to a \standard" Prolog tracer. Opium is programmable and extendable. It provides a trace query language and abstract views ...
متن کامل